#include "defs.h"

// Print to the console.
int
printf(char *fmt)
{
    int n = 0;
    // 遍历字符串直到遇到结束符'\0'
    while (fmt[n] != '\0') {
        uartputc_sync(fmt[n]);
        n++;
    }

    return 0;
}
